(declare-const x Float64)
(set-info :status sat)
(declare-fun c () RoundingMode)
(declare-fun ~ () Float64)
(assert (= x (fp.add c ~ (fp (_ bv0 1) (_ bv0 11) (_ bv0 52)))))
(check-sat)
